1. Comprehensive Functional Verification the Complete Industry Cycle
پدیدآورنده : \ Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Integrated circuits -- Verification.,Computer engineering.,مدارهای مجتمع -- راستیآزمایی ,مهندسی کامپیوتر
رده :
E-Book
,
2. Comprehensive Functional verification the complete industry cycle
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Integrated circuits -- Verification,Computer engineering
رده :
TK
،
7874
.
58
،.
W55
،
2005
3. Comprehensive functional verification the complete industry cycle
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Integrated circuits ; Verification. ; Computer engineering. ;
4. Comprehensive functional verification the complete industry cycle /
پدیدآورنده : Bruce Wile, John C. Goss, Wolfgang Roesner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.
رده :
TK7874
.
58
.
W55
2005eb
5. Formal methods in computer-aided design : third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3, 2000 : proceedings
پدیدآورنده : Warren A. Hunt, Jr., Steven D. Johnson )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer engineering,Congresses ، Computer-aided design,Congresses ، Integrated circuits -- Verification
رده :
QA
76
.
L28
Vol
.
1954
6. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
